The book focus on providing tools and frameworks for constructing well-behaved applications and for reasoning about their ...